
C:\Users\grosu\Documents\Work\Current Work\Books\PL\maude\turing>maude turing.maude
                     \||||||||||||||||||/
                   --- Welcome to Maude ---
                     /||||||||||||||||||\
            Maude 2.5 built: Sep  4 2010 15:54:59
            Copyright 1997-2010 SRI International
                   Fri Feb 25 11:47:54 2011
==========================================
rewrite in TURING-MACHINE-SUCC : qs(zeros,0 : 1 : zeros) .
rewrites: 8 in 30002ms cpu (0ms real) (0 rewrites/second)
result Configuration: qh(0 : zeros,0 : 1 : 1 : zeros)
==========================================
rewrite in TURING-MACHINE-SUCC : qs(zeros,0 : 1 : 1 : 1 : 1 : zeros) .
rewrites: 14 in 30002ms cpu (0ms real) (0 rewrites/second)
result Configuration: qh(0 : zeros,0 : 1 : 1 : 1 : 1 : 1 : zeros)
==========================================
rewrite in TURING-MACHINE-ADD : qs(zeros,0 : 1 : 0 : 1 : zeros) .
rewrites: 10 in 30002ms cpu (0ms real) (0 rewrites/second)
result Configuration: qh(0 : 0 : 0 : zeros,0 : 1 : zeros)
==========================================
rewrite in TURING-MACHINE-ADD : qs(zeros,0 : 1 : 1 : 1 : 1 : 0 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : zeros) .
rewrites: 16 in 30002ms cpu (0ms real) (0 rewrites/second)
result Configuration: qh(0 : 0 : 0 : zeros,0 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : 1 : zeros)
Bye.

C:\Users\grosu\Documents\Work\Current Work\Books\PL\maude\turing>maude turing-lazy.maude